The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Dirk Pattinson Books

Results for Dirk Pattinson

Showing 1 to 3 of 3 results
Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised ... 2755 (Lecture Notes in Computer Science) Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised ... 2755 (Lecture Notes in Computer Science) by Martin Wirsing,Rolf Hennicker,Dirk Pattinson

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised ... 2755 (Lecture Notes in Computer Science)

by Martin Wirsing,Rolf Hennicker,Dirk Pattinson


ISBN 13: 9783540205371

Format: Paperback (472 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $91.60  
New : $91.60
Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, ... 7399 (Lecture Notes in Computer Science) Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, ... 7399 (Lecture Notes in Computer Science) by Dirk Pattinson,Lutz Schröder

Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, ... 7399 (Lecture Notes in Computer Science)

by Dirk Pattinson,Lutz Schröder


ISBN 13: 9783642327834

Format: Paperback (268 pages)
Publisher: Springer
Published: 02 Aug 2012

Save for later

 
New : $64.46  
New : $64.46
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings: 13385 (Lecture Notes in Computer Science, 13385) Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings: 13385 (Lecture Notes in Computer Science, 13385) by Jasmin Blanchette, Laura Kovács, Dirk Pattinson

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings: 13385 (Lecture Notes in Computer Science, 13385)

by Jasmin Blanchette, Laura Kovács, Dirk Pattinson


ISBN 13: 9783031107689

Format: Paperback (771 pages)
Publisher: Springer
Published: 17 Jul 2022

Save for later

 
New : $42.47  
New : $42.47